Applying Formal Concept Analysis to Cascading Style Sheets
نویسنده
چکیده
Cascading Style Sheets (CSS) are used in the HyperText Markup Language (HTML) to describe the style, size, color, and position of elements in a document. While simple styles are easy to specify, a style sheet for a complex site can become many thousands of lines long. One problem in style sheets is that as they grow there is a tendency for increasing duplication of styles and properties, especially when the style sheet is used for many pages created by multiple authors. Formal Concept Analysis (FCA) is a technique for eliminating redundancy while identifying common concepts in a complex space of property definitions. In this work we use FCA to optimize style sheets to reduce redundancy, merge several rules together, and group the selectors with their declarations to express general formatting concepts. Two problems we solved include converting complex style sheets into a form on which FCA can be applied, and interpreting the resulting concept lattice to avoid introducing too many styles for small concepts. We evaluate the effectiveness of the solution on several style sheets.
منابع مشابه
Licensing IP embodied in standards
How should a standardization body such as the IEEE deal with patents and copyrights on technology essential to using a standard? A recent controversy within the World Wide Web Consortium (W3C, ) over a Microsoft patent illustrates the kind of problem that can arise when intellectual property rights cloud users' right of access to a standard. As yet, the IEEE has not developed...
متن کاملApplications of Dynamic Systems Theory to Effects-Based Operations and Adversarial Modelling
Effects-based operations (EBO) has become an increasingly important doctrinal concept used in the prosecution of war, most especially against terrorist organizations and the rogue states which support them. As a philosophy, EBO reaches beyond the realm of the propagation of simple physical effects. EBO encompasses the full spectrum of military activities, including psychological operations (PSY...
متن کاملA Comparative Evaluation of Socratic versus Didactic Tutoring
While the effectiveness of one-on-one human tutoring has been well established, a great deal of controversy surrounds the issue of which features of tutorial dialogue separate effective uses of dialogue in tutoring from those that are less effective. In this paper we present a formal comparison of Socratic versus Didactic style tutoring that argues in favor of the Socratic tutoring style.
متن کاملTowards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately be supported. We describe a set of canonical relations and attributes necessary for the description of biological structures. Based on these epistemological primitives, we sketch how a broad range of organisms can be r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010